# -*- mode: snippet -*-
# name: Set Congruence Depth
# --
Set Congruence Depth
